; Skipping purely mathematical exercise until it is needed for some
; other exercise.
